Development of Controllers Using Simulink and Contract-Based Design
نویسندگان
چکیده
This chapter describes the application of contract-based design in Simulink to the development of a digital hydraulic controller. A semi-formal approach to the development is used, where contracts are used to aid the structuring of the system and for creating interface specifications for components that can later be used for testing. An analysis of the influence of the contracts on the development process and system quality is provided to evaluate the effectiveness of the method. It was concluded that contract-based design can significantly aid the development of high quality Simulink models.
منابع مشابه
Design and Validation of Digital Controllers for Hydraulics Systems
In order to increase the flexibility and performance of hydraulically actuated machines there is a demand for more intelligent controllers. This leads to a rapid increase in complexity of the control systems. To manage the complexity and to ensure reliability of these systems, adequate software development methods are needed. In this work, we propose a methodology for structured design of digit...
متن کاملDeveloping FPGA-based Embedded Controllers using Matlab/Simulink
Field Programmable Gate Arrays (FPGAs) are emerging as suitable platforms for implementing embedded control systems. FPGAs offer advantages such as high performance and concurrent computing which makes them attractive in many embedded applications. As reconfigurable devices, they can be used to build the hardware and software components of an embedded system on a single chip. Traditional FPGA d...
متن کاملDesign of Maximum Power Point Tracking in Solar Array Systems Using Fuzzy Controllers
In recent year's renewable energy sources have become a useful alternative for the power generation. The power of photovoltaic is nonlinear function of its voltage and current. It is necessary to maintain the operation point of photovoltaic in order to get the maximum power point (MPP) in various solar intensity. Fuzzy logic controller has advantage in handling non-linear system. Maximum power ...
متن کاملEnvironment for CAD and verification of self-tuning controllers
The contribution deals with an adaptive controllers’ library designed under MATLAB – Simulink environment. The library enables design and verification of two input – two output (TITO) discrete self – tuning controllers. It is a completely open system based on Simulink features. Design of the TITO controllers that are included into the library is based on polynomial methods. The controllers are ...
متن کاملUsage of Self-tuning Controllers Simulink Library for Real-time Control
This contribution presents a usage of Self-Tuning Controllers Simulink Library (STCSL) for real-time control. The STCSL was created for design, simulation verification and especially real-time implementation of single input single output (SISO) digital selftuning controllers. The proposed adaptive controllers what are included into a Library can be divided into three groups. The first group cov...
متن کامل